LLW1987_io
id_total, 0.252710547
id_io_time, 0.0
id_global_time, 0.0
id_inclusion_check, 0.006264301
id_inclusion_check_mod_p, 0.003364582
id_groebner_time, 0.021807834
id_beautifulization, 0.07548094000000001
id_normalforms_time, 0.0
id_gbfan_time, 0.0
id_ranking, 273.0
